Biconsequences

p-consequence (plausible consequence; see [2]) allows for a formulation of non-deductive reasonings, i.e., such where the conclusion has weaker justification then assumptions and thus when added to the set of assumptions results in its extension. But theoretical modesty of p-consequence operation does not tell the difference between “good” and “worse” conclusions. Therefore the bisconsequence is introduced

Syntactic properties of p-consequence

p-consequence is intended as a formalization of non-deductive reasoning. So far semantical or general properties have been presented more thoroughly ([2]–[5]). In the present paper we would like to focus on its syntactic properties

On the Lattice of p-Consequences

This paper is devoted to investigation of the lattice properties of p-consequences. Our main goal is to compare the algebraic features of the lattices composed of all p-consequences and all consequence operations defined on the same propositional language

What is a Paraconsistent Logic?

Paraconsistent logics are logical systems that reject the classical principle, usually dubbed Explosion, that a contradiction implies everything. However, the received view about paraconsistency focuses only the inferential version of Explosion, which is concerned with formulae, thereby overlooking other possible accounts. In this paper, we propose to focus, additionally, on a meta-inferential version of Explosion, i.e. which is concerned with inferences or sequents. In doing so, we will offer a new characterization of paraconsistency by means of which a logic is paraconsistent if it invalidates either the inferential or the meta-inferential notion of Explosion. We show the non-triviality of this criterion by discussing a number of logics. On the one hand, logics which validate and invalidate both versions of Explosion, such as classical logic and Asenjo–Priest’s 3-valued logic LP. On the other hand, logics which validate one version of Explosion but not the other, such as the substructural logics TS and ST, introduced by Malinowski and Cobreros, Egré, Ripley and van Rooij, which are obtained via Malinowski’s and Frankowski’s q- and p-matrices, respectively

On the Lattice of PP-Consequences

This paper is devoted to investigation of the lattice properties of p-consequences. Our main goal is to compare the algebraic features of the lattices composed of all $p$-consequences and all consequence operations defined on the same propositional language

Wielowartościowość w logikach modalnych i w lingwistyce formalnej

Książka stanowi pierwszy krok w kierunku opisania związków łączących wielowartościowe logiki modalne z wielowartościową lingwistyką, analogicznych do tych, jakie zachodzą pomiędzy pewnymi logikami modalnymi a automatami i gramatykami klasycznymi.Udostępnienie publikacji Wydawnictwa Uniwersytetu Łódzkiego finansowane w ramach projektu „Doskonałość naukowa kluczem do doskonałości kształcenia”. Projekt realizowany jest ze środków Europejskiego Funduszu Społecznego w ramach Programu Operacyjnego Wiedza Edukacja Rozwój; nr umowy: POWER.03.05.00-00-Z092/17-00

Wskaźniki jakości wody małego cieku leśnego odbierającego oczyszczone ścieki bytowe

Struga Kwilecka ma zlewnię całkowitą o powierzchni 48 km2 z dominacją terenów rolniczych i przepływa przez kilka jezior, w tym przez Jezioro Kwileckie. Analizowany odcinek odwadnia obszary zalesione. Badania zmian jakości wody Strugi Kwileckiej poniżej zrzutu oczyszczonych ścieków bytowych prowadzono w latach 2008––2011. Oczyszczalnia w Kwilczu posiada drugi stopień oczyszczania ścieków, które odprowadza poprzez staw sedymentacyjno-fakultatywny. Staw okresowo wpływa na podwyższenie stężeń fosforu w ściekach dopływających do badanego cieku. Pogorszenie jakości wody zaobserwowano szczególnie na stanowisku zlokalizowanym 100 m poniżej zrzutu. Na stanowiskach usytuowanych 350 i 700 metrów poniżej kolektora sytuacja poprawiała się pomimo niewielkich przepływów wody. Korzystne zmiany dotyczyły przede wszystkim wskaźników troficznych, takich jak fosforany rozpuszczone, fosfor ogólny, azot azotanowy, jak również przewodność elektrolityczna. Z uwagi na duże zacienienie koryta w cieku stwierdzono ubogi skład gatunkowy roślin wodnych (głównie trzcina pospolita) i minimalne powierzchnie pokryte przez inne taksony, w tym mszaki

Development of engineering geology at the Polish Geological Institute

In this article, we summarize the most important engineering geological research over the past 100 years in the Polish Geological Institute and analyze its present and future development